Parameters of Two-Prover-One-Round Game and The Hardness of Connectivity Problems

نویسنده

  • Bundit Laekhanukit
چکیده

Optimizing parameters of Two-Prover-One-Round Game (2P1R) is an important task in PCPs literature as it would imply a smaller PCP with the same or stronger soundness. While this is a basic question in PCPs community, the connection between the parameters of PCPs and hardness of approximations is sometimes obscure to approximation algorithm community. In this paper, we investigate the connection between the parameters of 2P1R and the hardness of approximating the class of so-called connectivity problems, which includes as subclasses the survivable network design and (multi)cut problems. Based on recent development on 2P1R by Chan (STOC 2012) and several techniques in PCPs literature, we improve hardness results of some connectivity problems that are in the form k , for some (very) small constant σ > 0, to hardness results of the form k for some explicit constant c, where k is a connectivity parameter. In addition, we show how to convert these hardness into hardness results of the form Dc , where D is the number of demand pairs (or the number of terminals). Our results are as follows. 1. For the rooted k-connectivity problem, we have hardness of  k1/2− on directed graphs. k1/10− on undirected graphs. D1/4− on both directed and undirected graphs. This improves upon the best known hardness of k by Cheriyan et al. (SODA 2012). 2. For the vertex-connectivity survivable network design problem, we have hardness of { k1/6− on undirected graphs D1/4− on both directed and undirected graphs. This improves upon the best known hardness of Ω(k) by Chakraborty et al. (STOC 2008). 3. For the vertex-connectivity k-route cut problem on undirected graphs, we have hardness of { k1/6− D1/4− This improves upon the best known hardness of k by Chuzhoy et al. (SODA 2012). ∗School of Computer Science, McGill University, Montreal, QC, Canada. E-mail: [email protected] This work was supported by the Natural Sciences and Engineering Research Council of Canada (NSERC) grant no. 288334 and 429598, by European Research Council (ERC) Starting Grant no. 279352, by Dr&Mrs M.Leong fellowship. and by Harold H Helm fellowship.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

On the facility location problem: One-round weighted Voronoi game

Voronoi game presents a simple geometric model for Competitive facility location problems with two players. Voronoi game is played by two players known as White and Black, they play in a continuous arena. In the one-round game, White starts game and places all his points in the arena then Black places her points. Then the arena is divided by distance between two players and the player with the ...

متن کامل

CSE 533: PCPs and Hardness of Approximation

2. 2-Prover 1-Round Games. A “2-Prover 1-Round Game” (2P1R Game) is a kind of proof system for languages L that works as follows: There are two “all-powerful” provers P1 and P2 and a polynomial-time verifier V . There are also polynomial-sized “question sets” Q and R and constantsized “answer sets” A and B. The two provers are allowed to coordinate strategies beforehand, but once the “game” sta...

متن کامل

Polynomial-Space Approximation of No-Signaling Provers

In two-prover one-round interactive proof systems, no-signaling provers are those who are allowed to use arbitrary strategies, not limited to local operations, as long as their strategies cannot be used for communication between them. Study of multi-prover interactive proof systems with no-signaling provers is motivated by study of those with provers sharing quantum states. The relation between...

متن کامل

Interactive Proofs and Approximation: Reduction from Two Provers in One Round

We present hard to approximate problems in the following areas: systems of representatives, network ow, and longest paths in graphs. In each case we show that there exists some > 0 such that polynomial time approximation to within a factor of 2 n of the optimal implies that NP has quasi polynomial time deterministic simulations. The results are derived by reduction from two prover, one round pr...

متن کامل

Interactive Proofs and Approximation: Reductions from Two Provers in One Round

We present hard to approximate problems in the following areas: systems of representatives, network ow, and longest paths in graphs. In each case we show that there exists some > 0 such that polynomial time approximation to within a factor of 2 log n of the optimal implies that NP has quasi polynomial time deterministic simulations. The results are derived by reduction from two prover, one roun...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2014